ePMC

java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files cluster.prism --model-input-type prism --property-input-files cluster.props --property-input-names premium_steady --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=128,T=2000,t=20

assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property premium_steady
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 25921 25920
build-model-states-explored 65401 39481
build-model-states-explored 104443 39042
build-model-states-explored 148274 43831
build-model-states-explored 200955 52681
build-model-states-explored 251384 50429
build-model-states-explored 297357 45972
build-model-states-explored 350048 52692
build-model-states-explored 401921 51873
build-model-states-explored 451048 49127
build-model-states-explored 505557 54508
build-model-states-explored 544182 38626
build-model-done 597012 13
iterating
iterating-progress-unbounded 70 1.4333314605974244E7 1
iterating-progress-unbounded 149 1.6888527076456198E19 2
iterating-progress-unbounded 227 1.4325531587345729E31 3
iterating-progress-unbounded 304 4.391480324422744 4
iterating-progress-unbounded 381 1.5202902096823423 5
iterating-progress-unbounded 457 0.8850234864703327 6
iterating-progress-unbounded 535 0.6011820674503434 7
iterating-progress-unbounded 612 0.4468946708177605 8
iterating-progress-unbounded 689 0.34987794180003484 9
iterating-progress-unbounded 765 0.2843988570814315 10
iterating-progress-unbounded 843 0.2358927751870826 11
iterating-progress-unbounded 920 0.19994482651599807 12
iterating-progress-unbounded 997 0.17202207214177243 13
iterating-progress-unbounded 1074 0.14977363544074693 14
iterating-progress-unbounded 1151 0.1316742986572662 15
iterating-progress-unbounded 1228 0.1166937464437594 16
iterating-progress-unbounded 1305 0.10411241881552329 17
iterating-progress-unbounded 1382 0.09341352546847792 18
iterating-progress-unbounded 1459 0.0842169366950636 19
iterating-progress-unbounded 1536 0.07623721363867512 20
iterating-progress-unbounded 1613 0.06925612096204217 21
iterating-progress-unbounded 1688 0.06325461147339399 22
iterating-progress-unbounded 1765 0.05778154675544733 23
iterating-progress-unbounded 1842 0.05289994483810427 24
iterating-progress-unbounded 1919 0.048523346074802534 25
iterating-progress-unbounded 1996 0.044581281528782844 26
iterating-progress-unbounded 2073 0.04101577837126123 27
iterating-progress-unbounded 2150 0.03777873833647146 28
iterating-progress-unbounded 2227 0.03482994617528995 29
iterating-progress-unbounded 2304 0.03213553911206972 30
iterating-progress-unbounded 2381 0.02966681798720796 31
iterating-progress-unbounded 2458 0.027399314648325 32
iterating-progress-unbounded 2535 0.025312053606163686 33
iterating-progress-unbounded 2612 0.023386962437233337 34
iterating-progress-unbounded 2689 0.02160839716368631 35
iterating-progress-unbounded 2766 0.019962757084072767 36
iterating-progress-unbounded 2842 0.018457239647478533 37
iterating-progress-unbounded 2919 0.017041927157596243 38
iterating-progress-unbounded 2996 0.015728228193615797 39
iterating-progress-unbounded 3073 0.014508056323431483 40
iterating-progress-unbounded 3150 0.013374250627296377 41
iterating-progress-unbounded 3227 0.012320447659797208 42
iterating-progress-unbounded 3304 0.011340970513851972 43
iterating-progress-unbounded 3381 0.010430736707135268 44
iterating-progress-unbounded 3458 0.009585177681993837 45
iterating-progress-unbounded 3535 0.008800153822682556 46
iterating-progress-unbounded 3612 0.008071923792682867 47
iterating-progress-unbounded 3689 0.007397044469854084 48
iterating-progress-unbounded 3766 0.006772331377781145 49
iterating-progress-unbounded 3844 0.006187638732396628 50
iterating-progress-unbounded 3921 0.005655173200368559 51
iterating-progress-unbounded 3996 0.005176773631226537 52
iterating-progress-unbounded 4073 0.004724503466765585 53
iterating-progress-unbounded 4150 0.004309279079280048 54
iterating-progress-unbounded 4227 0.00392881257913551 55
iterating-progress-unbounded 4304 0.0035808918342801984 56
iterating-progress-unbounded 4381 0.0032633666312500754 57
iterating-progress-unbounded 4458 0.0029741430938637014 58
iterating-progress-unbounded 4535 0.0027111900381305413 59
iterating-progress-unbounded 4611 0.0024754907279268042 60
iterating-progress-unbounded 4687 0.0022616381103337867 61
iterating-progress-unbounded 4764 0.0020654514009791976 62
iterating-progress-unbounded 4841 0.0018881390126907077 63
iterating-progress-unbounded 4918 0.0017280418495951569 64
iterating-progress-unbounded 4995 0.0015835947606516487 65
iterating-progress-unbounded 5072 0.0014533310836433802 66
iterating-progress-unbounded 5149 0.0013358855192538359 67
iterating-progress-unbounded 5227 0.001228690794388373 68
iterating-progress-unbounded 5302 0.0011356773253244565 69
iterating-progress-unbounded 5379 0.001049399104642893 70
iterating-progress-unbounded 5456 9.714999348952107E-4 71
iterating-progress-unbounded 5533 9.011043518776885E-4 72
iterating-progress-unbounded 5610 8.3742278311253E-4 73
iterating-progress-unbounded 5687 7.797456007870144E-4 74
iterating-progress-unbounded 5764 7.274369162801784E-4 75
iterating-progress-unbounded 5841 6.799283234973021E-4 76
iterating-progress-unbounded 5918 6.367127556583591E-4 77
iterating-progress-unbounded 5995 5.97338579001583E-4 78
iterating-progress-unbounded 6072 5.61404009746385E-4 79
iterating-progress-unbounded 6149 5.285519090856926E-4 80
iterating-progress-unbounded 6226 4.984649853868278E-4 81
iterating-progress-unbounded 6302 4.712050787845433E-4 82
iterating-progress-unbounded 6379 4.4580700961876867E-4 83
iterating-progress-unbounded 6456 4.224222763292258E-4 84
iterating-progress-unbounded 6533 4.008528872914412E-4 85
iterating-progress-unbounded 6610 3.809227495811109E-4 86
iterating-progress-unbounded 6687 3.6247512723898954E-4 87
iterating-progress-unbounded 6764 3.453703886510036E-4 88
iterating-progress-unbounded 6841 3.294840146481459E-4 89
iterating-progress-unbounded 6918 3.1470484022666327E-4 90
iterating-progress-unbounded 6995 3.009335045419956E-4 91
iterating-progress-unbounded 7072 2.88081085799545E-4 92
iterating-progress-unbounded 7149 2.760678997334661E-4 93
iterating-progress-unbounded 7227 2.646811565974686E-4 94
iterating-progress-unbounded 7304 2.541479170311642E-4 95
iterating-progress-unbounded 7381 2.4425961893870176E-4 96
iterating-progress-unbounded 7457 2.3508134583921384E-4 97
iterating-progress-unbounded 7534 2.2632507031152577E-4 98
iterating-progress-unbounded 7611 2.1807278993168702E-4 99
iterating-progress-unbounded 7688 2.1028601474161517E-4 100
iterating-progress-unbounded 7765 2.0292984443975504E-4 101
iterating-progress-unbounded 7842 1.9597258361717896E-4 102
iterating-progress-unbounded 7919 1.8938540132334034E-4 103
iterating-progress-unbounded 7996 1.831420295164004E-4 104
iterating-progress-unbounded 8073 1.7721849569696943E-4 105
iterating-progress-unbounded 8150 1.7159288565799733E-4 106
iterating-progress-unbounded 8227 1.662451328554838E-4 107
iterating-progress-unbounded 8304 1.6115683137294502E-4 108
iterating-progress-unbounded 8381 1.5631106989036792E-4 109
iterating-progress-unbounded 8458 1.5169228438874843E-4 110
iterating-progress-unbounded 8535 1.47286127604466E-4 111
iterating-progress-unbounded 8611 1.4313276201903763E-4 112
iterating-progress-unbounded 8688 1.391107676607799E-4 113
iterating-progress-unbounded 8765 1.3526471228173187E-4 114
iterating-progress-unbounded 8842 1.3158407616686372E-4 115
iterating-progress-unbounded 8918 1.2810391935485398E-4 116
iterating-progress-unbounded 8995 1.247236886581788E-4 117
iterating-progress-unbounded 9072 1.2148173587331591E-4 118
iterating-progress-unbounded 9149 1.1837022222578846E-4 119
iterating-progress-unbounded 9226 1.1538185602055732E-4 120
iterating-progress-unbounded 9303 1.1250985199457101E-4 121
iterating-progress-unbounded 9380 1.0974789415912263E-4 122
iterating-progress-unbounded 9457 1.0709010156750973E-4 123
iterating-progress-unbounded 9534 1.0453099654352911E-4 124
iterating-progress-unbounded 9611 1.0206547503280628E-4 125
iterating-progress-unbounded 9688 9.968877883121801E-5 126
iterating-progress-unbounded 9765 9.739646950811297E-5 127
iterating-progress-unbounded 9842 9.518440392455342E-5 128
iterating-progress-unbounded 9919 9.304871127864156E-5 129
iterating-progress-unbounded 9996 9.098577164202144E-5 130
iterating-progress-unbounded 10073 8.899219596377538E-5 131
iterating-progress-unbounded 10150 8.706480752295941E-5 132
iterating-progress-unbounded 10227 8.520062480735258E-5 133
iterating-progress-unbounded 10304 8.339684578261206E-5 134
iterating-progress-unbounded 10381 8.165083350417112E-5 135
iterating-progress-unbounded 10458 7.996010301417751E-5 136
iterating-progress-unbounded 10536 7.830137770329289E-5 137
iterating-progress-unbounded 10613 7.671495023213739E-5 138
iterating-progress-unbounded 10690 7.517712180837079E-5 139
iterating-progress-unbounded 10767 7.368590880210044E-5 140
iterating-progress-unbounded 10844 7.223943047369214E-5 141
iterating-progress-unbounded 10919 7.087182815087972E-5 142
iterating-progress-unbounded 10996 6.950850288162547E-5 143
iterating-progress-unbounded 11073 6.81848605814991E-5 144
iterating-progress-unbounded 11150 6.689936555722544E-5 145
iterating-progress-unbounded 11227 6.565055574446699E-5 146
iterating-progress-unbounded 11304 6.443703831800275E-5 147
iterating-progress-unbounded 11381 6.32574856713674E-5 148
iterating-progress-unbounded 11458 6.21106317143838E-5 149
iterating-progress-unbounded 11535 6.0995268452158026E-5 150
iterating-progress-unbounded 11612 5.991024281522446E-5 151
iterating-progress-unbounded 11689 5.885445371069254E-5 152
iterating-progress-unbounded 11766 5.7826849268162724E-5 153
iterating-progress-unbounded 11843 5.682642426885513E-5 154
iterating-progress-unbounded 11920 5.5852217729890764E-5 155
iterating-progress-unbounded 11996 5.491547573191526E-5 156
iterating-progress-unbounded 12073 5.3990677238616115E-5 157
iterating-progress-unbounded 12150 5.308946836129654E-5 158
iterating-progress-unbounded 12227 5.221104323172215E-5 159
iterating-progress-unbounded 12304 5.1354630146103697E-5 160
iterating-progress-unbounded 12381 5.0519489878859315E-5 161
iterating-progress-unbounded 12458 4.9704914081434985E-5 162
iterating-progress-unbounded 12535 4.891022377374418E-5 163
iterating-progress-unbounded 12612 4.8134767915318E-5 164
iterating-progress-unbounded 12689 4.737792205244174E-5 165
iterating-progress-unbounded 12766 4.663908703942157E-5 166
iterating-progress-unbounded 12843 4.59176878297685E-5 167
iterating-progress-unbounded 12920 4.521317232862647E-5 168
iterating-progress-unbounded 12997 4.4525010307635684E-5 169
iterating-progress-unbounded 13073 4.386132433287267E-5 170
iterating-progress-unbounded 13150 4.3204164623183915E-5 171
iterating-progress-unbounded 13227 4.2561894903676E-5 172
iterating-progress-unbounded 13304 4.193406244105655E-5 173
iterating-progress-unbounded 13381 4.1320231757650605E-5 174
iterating-progress-unbounded 13458 4.071998384381921E-5 175
iterating-progress-unbounded 13535 4.0132915417582084E-5 176
iterating-progress-unbounded 13612 3.955863821527223E-5 177
iterating-progress-unbounded 13689 3.899677832344723E-5 178
iterating-progress-unbounded 13766 3.844697554391746E-5 179
iterating-progress-unbounded 13843 3.790888279078747E-5 180
iterating-progress-unbounded 13920 3.738216551750423E-5 181
iterating-progress-unbounded 13997 3.6866501173936304E-5 182
iterating-progress-unbounded 14074 3.636157869001018E-5 183
iterating-progress-unbounded 14151 3.586709798506765E-5 184
iterating-progress-unbounded 14228 3.538276950070893E-5 185
iterating-progress-unbounded 14305 3.490831375891154E-5 186
iterating-progress-unbounded 14382 3.444346093991293E-5 187
iterating-progress-unbounded 14459 3.398795048007145E-5 188
iterating-progress-unbounded 14536 3.3541530691499124E-5 189
iterating-progress-unbounded 14613 3.310395839750643E-5 190
iterating-progress-unbounded 14690 3.267499858610227E-5 191
iterating-progress-unbounded 14767 3.2254424081651353E-5 192
iterating-progress-unbounded 14844 3.184201523002607E-5 193
iterating-progress-unbounded 14921 3.143755959817927E-5 194
iterating-progress-unbounded 14998 3.104085168972313E-5 195
iterating-progress-unbounded 15075 3.065169267140568E-5 196
iterating-progress-unbounded 15152 3.0269890113409904E-5 197
iterating-progress-unbounded 15229 2.9895257742418253E-5 198
iterating-progress-unbounded 15306 2.952761520288747E-5 199
iterating-progress-unbounded 15383 2.9166787831328344E-5 200
iterating-progress-unbounded 15460 2.881260644072413E-5 201
iterating-progress-unbounded 15534 2.847833444654631E-5 202
iterating-progress-unbounded 15609 2.8145509357199182E-5 203
iterating-progress-unbounded 15686 2.7809906483658702E-5 204
iterating-progress-unbounded 15763 2.7480333159374723E-5 205
iterating-progress-unbounded 15840 2.7156644364491515E-5 206
iterating-progress-unbounded 15917 2.683869945436078E-5 207
iterating-progress-unbounded 15994 2.6526362000909456E-5 208
iterating-progress-unbounded 16071 2.621949963956296E-5 209
iterating-progress-unbounded 16148 2.591798392486586E-5 210
iterating-progress-unbounded 16226 2.5617876029548418E-5 211
iterating-progress-unbounded 16303 2.532674871575253E-5 212
iterating-progress-unbounded 16380 2.5040603349772478E-5 213
iterating-progress-unbounded 16457 2.4759325863698958E-5 214
iterating-progress-unbounded 16534 2.448280546305548E-5 215
iterating-progress-unbounded 16611 2.4210934515599474E-5 216
iterating-progress-unbounded 16688 2.394360844216894E-5 217
iterating-progress-unbounded 16765 2.3680725611603718E-5 218
iterating-progress-unbounded 16842 2.342218724181759E-5 219
iterating-progress-unbounded 16919 2.3167897304043707E-5 220
iterating-progress-unbounded 16996 2.2917762428469518E-5 221
iterating-progress-unbounded 17073 2.2671691818451552E-5 222
iterating-progress-unbounded 17150 2.2429597163659943E-5 223
iterating-progress-unbounded 17227 2.2191392558111056E-5 224
iterating-progress-unbounded 17304 2.195699442140069E-5 225
iterating-progress-unbounded 17381 2.172632142478713E-5 226
iterating-progress-unbounded 17458 2.1499294415359014E-5 227
iterating-progress-unbounded 17535 2.127583634887724E-5 228
iterating-progress-unbounded 17612 2.1055872219517607E-5 229
iterating-progress-unbounded 17689 2.0839328997659006E-5 230
iterating-progress-unbounded 17766 2.0626135565504042E-5 231
iterating-progress-unbounded 17843 2.0416222657028498E-5 232
iterating-progress-unbounded 17920 2.0209522801248394E-5 233
iterating-progress-unbounded 17997 2.0005970265085367E-5 234
iterating-progress-unbounded 18074 1.980550099995136E-5 235
iterating-progress-unbounded 18151 1.9608052589858655E-5 236
iterating-progress-unbounded 18228 1.941356420112611E-5 237
iterating-progress-unbounded 18305 1.9221976534693174E-5 238
iterating-progress-unbounded 18382 1.9033231779998595E-5 239
iterating-progress-unbounded 18459 1.884727356796403E-5 240
iterating-progress-unbounded 18535 1.866640921951981E-5 241
iterating-progress-unbounded 18609 1.8492812306368578E-5 242
iterating-progress-unbounded 18686 1.8314754171857697E-5 243
iterating-progress-unbounded 18763 1.8139273313258327E-5 244
iterating-progress-unbounded 18840 1.7966319892565898E-5 245
iterating-progress-unbounded 18917 1.779584528052357E-5 246
iterating-progress-unbounded 18994 1.762780201826508E-5 247
iterating-progress-unbounded 19071 1.746214378450863E-5 248
iterating-progress-unbounded 19148 1.7298825362727324E-5 249
iterating-progress-unbounded 19225 1.713780261125044E-5 250
iterating-progress-unbounded 19302 1.6979032428475677E-5 251
iterating-progress-unbounded 19379 1.6822472727713747E-5 252
iterating-progress-unbounded 19456 1.666808240605069E-5 253
iterating-progress-unbounded 19533 1.6515821317071096E-5 254
iterating-progress-unbounded 19610 1.6365650244845514E-5 255
iterating-progress-unbounded 19687 1.6217530876936592E-5 256
iterating-progress-unbounded 19764 1.607142578083205E-5 257
iterating-progress-unbounded 19841 1.5927298377878468E-5 258
iterating-progress-unbounded 19918 1.578511292177947E-5 259
iterating-progress-unbounded 19995 1.5644834474076042E-5 260
iterating-progress-unbounded 20072 1.5506428883382398E-5 261
iterating-progress-unbounded 20149 1.536986276386091E-5 262
iterating-progress-unbounded 20226 1.5235103474730018E-5 263
iterating-progress-unbounded 20303 1.5102119099305801E-5 264
iterating-progress-unbounded 20380 1.4970878426660249E-5 265
iterating-progress-unbounded 20457 1.4841350933150902E-5 266
iterating-progress-unbounded 20534 1.4713506763358686E-5 267
iterating-progress-unbounded 20611 1.4587316712963338E-5 268
iterating-progress-unbounded 20688 1.446275221212888E-5 269
iterating-progress-unbounded 20765 1.4339785307667581E-5 270
iterating-progress-unbounded 20842 1.4218388648356965E-5 271
iterating-progress-unbounded 20919 1.4098535468760945E-5 272
iterating-progress-unbounded 20996 1.3980199574384632E-5 273
iterating-progress-unbounded 21073 1.386335532649273E-5 274
iterating-progress-unbounded 21150 1.374797762893837E-5 275
iterating-progress-unbounded 21227 1.3634041914056893E-5 276
iterating-progress-unbounded 21304 1.3521524127875237E-5 277
iterating-progress-unbounded 21381 1.3410400719265254E-5 278
iterating-progress-unbounded 21458 1.330064862679895E-5 279
iterating-progress-unbounded 21535 1.3192245265552298E-5 280
iterating-progress-unbounded 21612 1.3085168516131063E-5 281
iterating-progress-unbounded 21689 1.2979396712723943E-5 282
iterating-progress-unbounded 21766 1.2874908633000742E-5 283
iterating-progress-unbounded 21843 1.2771683485101175E-5 284
iterating-progress-unbounded 21920 1.266970089945492E-5 285
iterating-progress-unbounded 21997 1.25689409163961E-5 286
iterating-progress-unbounded 22074 1.2469383978503458E-5 287
iterating-progress-unbounded 22152 1.2369741050867144E-5 288
iterating-progress-unbounded 22229 1.2272548093912778E-5 289
iterating-progress-unbounded 22306 1.2176501582340054E-5 290
iterating-progress-unbounded 22382 1.2082809018252161E-5 291
iterating-progress-unbounded 22459 1.1988987308590157E-5 292
iterating-progress-unbounded 22536 1.1896259194189748E-5 293
iterating-progress-unbounded 22613 1.1804607667249592E-5 294
iterating-progress-unbounded 22690 1.171401605253888E-5 295
iterating-progress-unbounded 22767 1.1624467996013859E-5 296
iterating-progress-unbounded 22844 1.1535947460156362E-5 297
iterating-progress-unbounded 22921 1.1448438715280965E-5 298
iterating-progress-unbounded 22998 1.1361926333431621E-5 299
iterating-progress-unbounded 23073 1.1278604480794666E-5 300
iterating-progress-unbounded 23150 1.1194014794231868E-5 301
iterating-progress-unbounded 23227 1.111037729872964E-5 302
iterating-progress-unbounded 23304 1.1027677696207218E-5 303
iterating-progress-unbounded 23381 1.0945901956282487E-5 304
iterating-progress-unbounded 23458 1.0865036311992013E-5 305
iterating-progress-unbounded 23535 1.078506725271338E-5 306
iterating-progress-unbounded 23612 1.07059815186248E-5 307
iterating-progress-unbounded 23689 1.0627766094154042E-5 308
iterating-progress-unbounded 23766 1.0550408204473593E-5 309
iterating-progress-unbounded 23843 1.0473895309567775E-5 310
iterating-progress-unbounded 23920 1.0398215097538208E-5 311
iterating-progress-unbounded 23997 1.0323355482059712E-5 312
iterating-progress-unbounded 24074 1.0249304594770064E-5 313
iterating-progress-unbounded 24151 1.0176050783338396E-5 314
iterating-progress-unbounded 24228 1.010358260419901E-5 315
iterating-progress-unbounded 24305 1.0031888819896948E-5 316
iterating-progress-unbounded 24382 9.960958394465514E-6 317
iterating-progress-unbounded 24459 9.890780486177893E-6 318
iterating-progress-unbounded 24536 9.82134444873587E-6 319
iterating-progress-unbounded 24613 9.752639822703646E-6 320
iterating-progress-unbounded 24690 9.68465633281882E-6 321
iterating-progress-unbounded 24766 9.618253038077994E-6 322
iterating-progress-unbounded 24843 9.551672671651938E-6 323
iterating-progress-unbounded 24920 9.485783809648786E-6 324
iterating-progress-unbounded 24997 9.420576874625639E-6 325
iterating-progress-unbounded 25074 9.356042455110177E-6 326
iterating-progress-unbounded 25151 9.292171301265536E-6 327
iterating-progress-unbounded 25228 9.22895432228923E-6 328
iterating-progress-unbounded 25305 9.166382584019207E-6 329
iterating-progress-unbounded 25382 9.104447304123841E-6 330
iterating-progress-unbounded 25459 9.043139850046997E-6 331
iterating-progress-unbounded 25537 8.981667614671642E-6 332
iterating-progress-unbounded 25614 8.921598376736295E-6 333
iterating-progress-unbounded 25691 8.862131826726907E-6 334
iterating-progress-unbounded 25768 8.803259902173666E-6 335
iterating-progress-unbounded 25845 8.744974674842032E-6 336
iterating-progress-unbounded 25922 8.687268347864464E-6 337
iterating-progress-unbounded 25999 8.630133254887414E-6 338
iterating-progress-unbounded 26076 8.573561856932264E-6 339
iterating-progress-unbounded 26153 8.517546738175214E-6 340
iterating-progress-unbounded 26230 8.462080605066893E-6 341
iterating-progress-unbounded 26307 8.407156283920622E-6 342
iterating-progress-unbounded 26384 8.352766718050429E-6 343
iterating-progress-unbounded 26461 8.298904965645987E-6 344
iterating-progress-unbounded 26538 8.245564197361342E-6 345
iterating-progress-unbounded 26615 8.192737694792593E-6 346
iterating-progress-unbounded 26692 8.140418847495207E-6 347
iterating-progress-unbounded 26769 8.08860115089534E-6 348
iterating-progress-unbounded 26846 8.037278205074095E-6 349
iterating-progress-unbounded 26923 7.986443712099745E-6 350
iterating-progress-unbounded 27000 7.936091474074348E-6 351
iterating-progress-unbounded 27076 7.88686010718869E-6 352
iterating-progress-unbounded 27153 7.83744810997749E-6 353
iterating-progress-unbounded 27230 7.788500432596736E-6 354
iterating-progress-unbounded 27307 7.740011259179926E-6 355
iterating-progress-unbounded 27384 7.69197486330824E-6 356
iterating-progress-unbounded 27461 7.644385608736819E-6 357
iterating-progress-unbounded 27538 7.597237946747377E-6 358
iterating-progress-unbounded 27615 7.5505264146737404E-6 359
iterating-progress-unbounded 27692 7.504245634114585E-6 360
iterating-progress-unbounded 27769 7.458390310298874E-6 361
iterating-progress-unbounded 27846 7.412955228689919E-6 362
iterating-progress-unbounded 27923 7.36793525532271E-6 363
iterating-progress-unbounded 28000 7.323325334539301E-6 364
iterating-progress-unbounded 28077 7.279120487470928E-6 365
iterating-progress-unbounded 28153 7.235882158776462E-6 366
iterating-progress-unbounded 28230 7.192467719812907E-6 367
iterating-progress-unbounded 28307 7.149443927336354E-6 368
iterating-progress-unbounded 28384 7.106806095839089E-6 369
iterating-progress-unbounded 28461 7.064549610019387E-6 370
iterating-progress-unbounded 28538 7.022669922727428E-6 371
iterating-progress-unbounded 28615 6.981162555931721E-6 372
iterating-progress-unbounded 28692 6.940023096846753E-6 373
iterating-progress-unbounded 28769 6.89924719891893E-6 374
iterating-progress-unbounded 28846 6.8588305797687344E-6 375
iterating-progress-unbounded 28923 6.8187690192996915E-6 376
iterating-progress-unbounded 29000 6.779058359800557E-6 377
iterating-progress-unbounded 29077 6.739694504847855E-6 378
iterating-progress-unbounded 29154 6.700673416885779E-6 379
iterating-progress-unbounded 29231 6.661991117684298E-6 380
iterating-progress-unbounded 29308 6.623643686562426E-6 381
iterating-progress-unbounded 29385 6.585627259386839E-6 382
iterating-progress-unbounded 29462 6.547938028328735E-6 383
iterating-progress-unbounded 29539 6.510572239419577E-6 384
iterating-progress-unbounded 29616 6.473526192941077E-6 385
iterating-progress-unbounded 29693 6.4367962424930795E-6 386
iterating-progress-unbounded 29770 6.400378792890676E-6 387
iterating-progress-unbounded 29847 6.364270300275688E-6 388
iterating-progress-unbounded 29924 6.328467271010362E-6 389
iterating-progress-unbounded 30001 6.29296626119941E-6 390
iterating-progress-unbounded 30078 6.257763874868447E-6 391
iterating-progress-unbounded 30155 6.222856764468232E-6 392
iterating-progress-unbounded 30232 6.188241628342269E-6 393
iterating-progress-unbounded 30309 6.1539152119519124E-6 394
iterating-progress-unbounded 30386 6.119874305665809E-6 395
iterating-progress-unbounded 30463 6.08611574415071E-6 396
iterating-progress-unbounded 30540 6.05263640634022E-6 397
iterating-progress-unbounded 30617 6.019433214276949E-6 398
iterating-progress-unbounded 30694 5.98650313183608E-6 399
iterating-progress-unbounded 30771 5.9538431654350025E-6 400
iterating-progress-unbounded 30848 5.9214503619363015E-6 401
iterating-progress-unbounded 30925 5.889321808679121E-6 402
iterating-progress-unbounded 31002 5.857454632677325E-6 403
iterating-progress-unbounded 31079 5.825846000088559E-6 404
iterating-progress-unbounded 31156 5.7944931149919946E-6 405
iterating-progress-unbounded 31233 5.763393219937506E-6 406
iterating-progress-unbounded 31310 5.7325435942771815E-6 407
iterating-progress-unbounded 31387 5.701941553569254E-6 408
iterating-progress-unbounded 31464 5.6715844500360906E-6 409
iterating-progress-unbounded 31541 5.641469670958005E-6 410
iterating-progress-unbounded 31618 5.611594638007472E-6 411
iterating-progress-unbounded 31695 5.581956807937635E-6 412
iterating-progress-unbounded 31772 5.55255367067464E-6 413
iterating-progress-unbounded 31849 5.52338274946228E-6 414
iterating-progress-unbounded 31926 5.494441600199806E-6 415
iterating-progress-unbounded 32003 5.4657278109254825E-6 416
iterating-progress-unbounded 32080 5.437239001176315E-6 417
iterating-progress-unbounded 32157 5.408972822290815E-6 418
iterating-progress-unbounded 32234 5.380926954920658E-6 419
iterating-progress-unbounded 32309 5.353819173417671E-6 420
iterating-progress-unbounded 32386 5.326201518586468E-6 421
iterating-progress-unbounded 32463 5.298797456599198E-6 422
iterating-progress-unbounded 32540 5.271604786247237E-6 423
iterating-progress-unbounded 32617 5.244621334480874E-6 424
iterating-progress-unbounded 32694 5.217844955617072E-6 425
iterating-progress-unbounded 32771 5.191273532758592E-6 426
iterating-progress-unbounded 32848 5.164904974757702E-6 427
iterating-progress-unbounded 32925 5.138737217631868E-6 428
iterating-progress-unbounded 33002 5.112768224149355E-6 429
iterating-progress-unbounded 33079 5.0869959814911845E-6 430
iterating-progress-unbounded 33156 5.0614185039591024E-6 431
iterating-progress-unbounded 33233 5.0360338297499455E-6 432
iterating-progress-unbounded 33310 5.010840022763284E-6 433
iterating-progress-unbounded 33387 4.985835169540642E-6 434
iterating-progress-unbounded 33464 4.961017382224561E-6 435
iterating-progress-unbounded 33541 4.93638479564343E-6 436
iterating-progress-unbounded 33618 4.911935568360065E-6 437
iterating-progress-unbounded 33695 4.887667881561975E-6 438
iterating-progress-unbounded 33772 4.86357993872393E-6 439
iterating-progress-unbounded 33849 4.8396699659030055E-6 440
iterating-progress-unbounded 33926 4.815936210904381E-6 441
iterating-progress-unbounded 34003 4.792376943208977E-6 442
iterating-progress-unbounded 34080 4.768990452907755E-6 443
iterating-progress-unbounded 34157 4.74577505225788E-6 444
iterating-progress-unbounded 34234 4.722729072637962E-6 445
iterating-progress-unbounded 34311 4.699850867473562E-6 446
iterating-progress-unbounded 34388 4.677138808103174E-6 447
iterating-progress-unbounded 34465 4.654591287318807E-6 448
iterating-progress-unbounded 34542 4.632206716608531E-6 449
iterating-progress-unbounded 34619 4.609983526616875E-6 450
iterating-progress-unbounded 34696 4.5879201673549895E-6 451
iterating-progress-unbounded 34773 4.566015106707186E-6 452
iterating-progress-unbounded 34850 4.544266831384254E-6 453
iterating-progress-unbounded 34927 4.522673846049646E-6 454
iterating-progress-unbounded 35004 4.501234673303244E-6 455
iterating-progress-unbounded 35081 4.479947852824087E-6 456
iterating-progress-unbounded 35158 4.458811942325542E-6 457
iterating-progress-unbounded 35235 4.437825515984033E-6 458
iterating-progress-unbounded 35312 4.416987165278567E-6 459
iterating-progress-unbounded 35389 4.396295498032422E-6 460
iterating-progress-unbounded 35466 4.375749138181977E-6 461
iterating-progress-unbounded 35543 4.355346725904801E-6 462
iterating-progress-unbounded 35620 4.335086918100509E-6 463
iterating-progress-unbounded 35697 4.314968386036249E-6 464
iterating-progress-unbounded 35774 4.294989816907213E-6 465
iterating-progress-unbounded 35851 4.275149913615073E-6 466
iterating-progress-unbounded 35928 4.255447393497394E-6 467
iterating-progress-unbounded 36005 4.235880989176399E-6 468
iterating-progress-unbounded 36082 4.216449447765939E-6 469
iterating-progress-unbounded 36159 4.197151529974316E-6 470
iterating-progress-unbounded 36234 4.178482153180286E-6 471
iterating-progress-unbounded 36311 4.15944443233389E-6 472
iterating-progress-unbounded 36388 4.1405367351775105E-6 473
iterating-progress-unbounded 36465 4.121757878644526E-6 474
iterating-progress-unbounded 36542 4.103106692319663E-6 475
iterating-progress-unbounded 36618 4.084821794543484E-6 476
iterating-progress-unbounded 36695 4.066420872048622E-6 477
iterating-progress-unbounded 36772 4.0481442045164505E-6 478
iterating-progress-unbounded 36849 4.029990673257812E-6 479
iterating-progress-unbounded 36926 4.011959173339454E-6 480
iterating-progress-unbounded 37003 3.9940486119973005E-6 481
iterating-progress-unbounded 37080 3.976257907875063E-6 482
iterating-progress-unbounded 37157 3.958585992362183E-6 483
iterating-progress-unbounded 37234 3.9410318088627795E-6 484
iterating-progress-unbounded 37311 3.9235943121874074E-6 485
iterating-progress-unbounded 37388 3.906272468847461E-6 486
iterating-progress-unbounded 37465 3.889065256788315E-6 487
iterating-progress-unbounded 37542 3.871971665237603E-6 488
iterating-progress-unbounded 37619 3.8549906945559025E-6 489
iterating-progress-unbounded 37696 3.8381213560896835E-6 490
iterating-progress-unbounded 37772 3.821579611966624E-6 491
iterating-progress-unbounded 37849 3.8049291970567916E-6 492
iterating-progress-unbounded 37926 3.7883875250153783E-6 493
iterating-progress-unbounded 38003 3.7719536497931248E-6 494
iterating-progress-unbounded 38080 3.7556266354055562E-6 495
iterating-progress-unbounded 38157 3.7394055558013873E-6 496
iterating-progress-unbounded 38234 3.723289495822244E-6 497
iterating-progress-unbounded 38311 3.707277548889186E-6 498
iterating-progress-unbounded 38388 3.691368819058128E-6 499
iterating-progress-unbounded 38465 3.6755624198019278E-6 500
iterating-progress-unbounded 38542 3.6598574742937315E-6 501
iterating-progress-unbounded 38619 3.644253114338758E-6 502
iterating-progress-unbounded 38696 3.628748481930562E-6 503
iterating-progress-unbounded 38773 3.6133427281006476E-6 504
iterating-progress-unbounded 38850 3.598035012670526E-6 505
iterating-progress-unbounded 38927 3.582824504165677E-6 506
iterating-progress-unbounded 39004 3.5677103797044335E-6 507
iterating-progress-unbounded 39080 3.552886263210931E-6 508
iterating-progress-unbounded 39157 3.537961249597925E-6 509
iterating-progress-unbounded 39234 3.5231302150942716E-6 510
iterating-progress-unbounded 39311 3.508392371249943E-6 511
iterating-progress-unbounded 39388 3.493746937877396E-6 512
iterating-progress-unbounded 39464 3.4793815691963122E-6 513
iterating-progress-unbounded 39540 3.4651047395359004E-6 514
iterating-progress-unbounded 39617 3.450729606497596E-6 515
iterating-progress-unbounded 39694 3.4364438624586682E-6 516
iterating-progress-unbounded 39771 3.4222467680700033E-6 517
iterating-progress-unbounded 39848 3.4081375895576284E-6 518
iterating-progress-unbounded 39925 3.394115601760906E-6 519
iterating-progress-unbounded 40002 3.380180086992832E-6 520
iterating-progress-unbounded 40079 3.366330334121847E-6 521
iterating-progress-unbounded 40156 3.352565640549913E-6 522
iterating-progress-unbounded 40233 3.3388853100536407E-6 523
iterating-progress-unbounded 40310 3.3252886535252896E-6 524
iterating-progress-unbounded 40387 3.311774989704246E-6 525
iterating-progress-unbounded 40464 3.298343643039949E-6 526
iterating-progress-unbounded 40541 3.284993945862086E-6 527
iterating-progress-unbounded 40618 3.2717252362525624E-6 528
iterating-progress-unbounded 40695 3.2585368602062115E-6 529
iterating-progress-unbounded 40772 3.2454281695117446E-6 530
iterating-progress-unbounded 40849 3.232398522488629E-6 531
iterating-progress-unbounded 40925 3.2196149829515305E-6 532
iterating-progress-unbounded 41002 3.2067405188329764E-6 533
iterating-progress-unbounded 41079 3.1939432207873956E-6 534
iterating-progress-unbounded 41156 3.1812224723926526E-6 535
iterating-progress-unbounded 41233 3.1685776635747614E-6 536
iterating-progress-unbounded 41310 3.156008190332718E-6 537
iterating-progress-unbounded 41387 3.1435134544669662E-6 538
iterating-progress-unbounded 41464 3.131092864701959E-6 539
iterating-progress-unbounded 41539 3.119065610073525E-6 540
iterating-progress-unbounded 41616 3.1067896698083237E-6 541
iterating-progress-unbounded 41693 3.0945861487598505E-6 542
iterating-progress-unbounded 41770 3.0824544771392773E-6 543
iterating-progress-unbounded 41847 3.070394092104581E-6 544
iterating-progress-unbounded 41924 3.0584044348491903E-6 545
iterating-progress-unbounded 42000 3.0466393042904832E-6 546
iterating-progress-unbounded 42077 3.0347885503875696E-6 547
iterating-progress-unbounded 42154 3.023006889259726E-6 548
iterating-progress-unbounded 42231 3.011293785372378E-6 549
iterating-progress-unbounded 42308 2.9996487064466188E-6 550
iterating-progress-unbounded 42383 2.988370993203232E-6 551
iterating-progress-unbounded 42460 2.9768586574978365E-6 552
iterating-progress-unbounded 42537 2.9654127964413226E-6 553
iterating-progress-unbounded 42615 2.9538855394126795E-6 554
iterating-progress-unbounded 42691 2.9427184576078327E-6 555
iterating-progress-unbounded 42768 2.9314689718960863E-6 556
iterating-progress-unbounded 42845 2.9202839439778704E-6 557
iterating-progress-unbounded 42923 2.909018872098717E-6 558
iterating-progress-unbounded 43000 2.897962110873646E-6 559
iterating-progress-unbounded 43077 2.886968339529644E-6 560
iterating-progress-unbounded 43153 2.8761786459317617E-6 561
iterating-progress-unbounded 43230 2.8653086217145495E-6 562
iterating-progress-unbounded 43306 2.8546401496717357E-6 563
iterating-progress-unbounded 43383 2.8438920208115146E-6 564
iterating-progress-unbounded 43460 2.833204547663656E-6 565
iterating-progress-unbounded 43537 2.822577274735966E-6 566
iterating-progress-unbounded 43614 2.8120097500639827E-6 567
iterating-progress-unbounded 43691 2.801501526106695E-6 568
iterating-progress-unbounded 43768 2.791052159510219E-6 569
iterating-progress-unbounded 43845 2.780661210874231E-6 570
iterating-progress-unbounded 43922 2.7703282456383954E-6 571
iterating-progress-unbounded 43999 2.7600528321710355E-6 572
iterating-progress-unbounded 44075 2.749966884127552E-6 573
iterating-progress-unbounded 44152 2.7398045636299174E-6 574
iterating-progress-unbounded 44229 2.729698531314721E-6 575
iterating-progress-unbounded 44306 2.719648371620806E-6 576
iterating-progress-unbounded 44383 2.709653672633038E-6 577
iterating-progress-unbounded 44460 2.6997140269600445E-6 578
iterating-progress-unbounded 44537 2.689829030768782E-6 579
iterating-progress-unbounded 44614 2.679998283745093E-6 580
iterating-progress-unbounded 44691 2.6702213888721766E-6 581
iterating-progress-unbounded 44768 2.660497953487453E-6 582
iterating-progress-unbounded 44844 2.6509528382716358E-6 583
iterating-progress-unbounded 44918 2.6417082344830405E-6 584
iterating-progress-unbounded 44993 2.6323880097684067E-6 585
iterating-progress-unbounded 45070 2.622870519828114E-6 586
iterating-progress-unbounded 45147 2.613404606336008E-6 587
iterating-progress-unbounded 45224 2.603989896378079E-6 588
iterating-progress-unbounded 45301 2.5946260214815433E-6 589
iterating-progress-unbounded 45377 2.5854332471700358E-6 590
iterating-progress-unbounded 45453 2.5762892911738446E-6 591
iterating-progress-unbounded 45528 2.567313172267776E-6 592
iterating-progress-unbounded 45605 2.5581464555603036E-6 593
iterating-progress-unbounded 45682 2.549028796201445E-6 594
iterating-progress-unbounded 45759 2.5399598438805453E-6 595
iterating-progress-unbounded 45836 2.530939252470997E-6 596
iterating-progress-unbounded 45913 2.521966678215077E-6 597
iterating-progress-unbounded 45990 2.513041780582064E-6 598
iterating-progress-unbounded 46067 2.504164222057592E-6 599
iterating-progress-unbounded 46144 2.495333668111613E-6 600
iterating-progress-unbounded 46221 2.4865497871667707E-6 601
iterating-progress-unbounded 46298 2.47781225056715E-6 602
iterating-progress-unbounded 46375 2.469120732547379E-6 603
iterating-progress-unbounded 46452 2.4604749102022014E-6 604
iterating-progress-unbounded 46529 2.451874463281765E-6 605
iterating-progress-unbounded 46606 2.4433190750347553E-6 606
iterating-progress-unbounded 46683 2.4348084306071975E-6 607
iterating-progress-unbounded 46760 2.426342217889555E-6 608
iterating-progress-unbounded 46837 2.4179201283544845E-6 609
iterating-progress-unbounded 46914 2.409541855463795E-6 610
iterating-progress-unbounded 46991 2.4012070955101535E-6 611
iterating-progress-unbounded 47068 2.3929155475878436E-6 612
iterating-progress-unbounded 47145 2.3846669127037383E-6 613
iterating-progress-unbounded 47222 2.376460895130399E-6 614
iterating-progress-unbounded 47299 2.36829720237315E-6 615
iterating-progress-unbounded 47375 2.360280750500272E-6 616
iterating-progress-unbounded 47452 2.3522002953573776E-6 617
iterating-progress-unbounded 47529 2.34416130267027E-6 618
iterating-progress-unbounded 47606 2.3361634901813973E-6 619
iterating-progress-unbounded 47683 2.3282065751568983E-6 620
iterating-progress-unbounded 47760 2.3202902803230176E-6 621
iterating-progress-unbounded 47836 2.312516356418744E-6 622
iterating-progress-unbounded 47913 2.30467995569374E-6 623
iterating-progress-unbounded 47990 2.2968833562177325E-6 624
iterating-progress-unbounded 48067 2.2891262893403825E-6 625
iterating-progress-unbounded 48144 2.281408486665975E-6 626
iterating-progress-unbounded 48221 2.273729685249235E-6 627
iterating-progress-unbounded 48298 2.2660896208451096E-6 628
iterating-progress-unbounded 48375 2.25848803410324E-6 629
iterating-progress-unbounded 48452 2.2509246661828425E-6 630
iterating-progress-unbounded 48529 2.243399261411E-6 631
iterating-progress-unbounded 48604 2.236105576936435E-6 632
iterating-progress-unbounded 48682 2.228557845626415E-6 633
iterating-progress-unbounded 48759 2.22114433443296E-6 634
iterating-progress-unbounded 48836 2.2137677861000487E-6 635
iterating-progress-unbounded 48913 2.206427956398711E-6 636
iterating-progress-unbounded 48990 2.199124600719371E-6 637
iterating-progress-unbounded 49067 2.191857478191191E-6 638
iterating-progress-unbounded 49144 2.1846263493427917E-6 639
iterating-progress-unbounded 49221 2.1774309761717997E-6 640
iterating-progress-unbounded 49298 2.170271123782775E-6 641
iterating-progress-unbounded 49375 2.163146557742968E-6 642
iterating-progress-unbounded 49452 2.156057047339015E-6 643
iterating-progress-unbounded 49529 2.1490023621221853E-6 644
iterating-progress-unbounded 49606 2.1419822738549116E-6 645
iterating-progress-unbounded 49683 2.1349965579502566E-6 646
iterating-progress-unbounded 49760 2.12804498857728E-6 647
iterating-progress-unbounded 49837 2.1211273441692456E-6 648
iterating-progress-unbounded 49914 2.114243403993779E-6 649
iterating-progress-unbounded 49991 2.107392949433221E-6 650
iterating-progress-unbounded 50067 2.1006640857387077E-6 651
iterating-progress-unbounded 50143 2.093967425003044E-6 652
iterating-progress-unbounded 50220 2.0872152811673254E-6 653
iterating-progress-unbounded 50297 2.080495771196005E-6 654
iterating-progress-unbounded 50374 2.073808684002746E-6 655
iterating-progress-unbounded 50451 2.067153811793467E-6 656
iterating-progress-unbounded 50528 2.0605309476467534E-6 657
iterating-progress-unbounded 50605 2.0539398864588115E-6 658
iterating-progress-unbounded 50682 2.047380424767357E-6 659
iterating-progress-unbounded 50758 2.040936940565403E-6 660
iterating-progress-unbounded 50835 2.0344396700676717E-6 661
iterating-progress-unbounded 50912 2.0279734008133964E-6 662
iterating-progress-unbounded 50989 2.0215379358443166E-6 663
iterating-progress-unbounded 51067 2.0150501005162245E-6 664
iterating-progress-unbounded 51143 2.0087586387973327E-6 665
iterating-progress-unbounded 51220 2.0024144201804865E-6 666
iterating-progress-unbounded 51298 1.9960184270318858E-6 667
iterating-progress-unbounded 51375 1.989734468201387E-6 668
iterating-progress-unbounded 51452 1.9834801611494184E-6 669
iterating-progress-unbounded 51529 1.97725531946866E-6 670
iterating-progress-unbounded 51606 1.9710597582154644E-6 671
iterating-progress-unbounded 51683 1.9648932938960615E-6 672
iterating-progress-unbounded 51760 1.958755744452913E-6 673
iterating-progress-unbounded 51837 1.9526469294061574E-6 674
iterating-progress-unbounded 51914 1.9465666690657986E-6 675
iterating-progress-unbounded 51991 1.9405147862218375E-6 676
iterating-progress-unbounded 52068 1.9344911038103677E-6 677
iterating-progress-unbounded 52145 1.928495447218966E-6 678
iterating-progress-unbounded 52221 1.922604968756842E-6 679
iterating-progress-unbounded 52295 1.916895416570456E-6 680
iterating-progress-unbounded 52370 1.9111346400048633E-6 681
iterating-progress-unbounded 52444 1.9054761073449817E-6 682
iterating-progress-unbounded 52521 1.899614832912789E-6 683
iterating-progress-unbounded 52598 1.893780581369758E-6 684
iterating-progress-unbounded 52675 1.8879731863175504E-6 685
iterating-progress-unbounded 52752 1.8821924834629182E-6 686
iterating-progress-unbounded 52829 1.876438309371498E-6 687
iterating-progress-unbounded 52906 1.8707105010879741E-6 688
iterating-progress-unbounded 52983 1.8650088990173838E-6 689
iterating-progress-unbounded 53060 1.8593333422169414E-6 690
iterating-progress-unbounded 53137 1.8536836729270384E-6 691
iterating-progress-unbounded 53214 1.8480597333843527E-6 692
iterating-progress-unbounded 53291 1.8424613677736467E-6 693
iterating-progress-unbounded 53368 1.8368884208608253E-6 694
iterating-progress-unbounded 53445 1.831340738885627E-6 695
iterating-progress-unbounded 53522 1.825818169698092E-6 696
iterating-progress-unbounded 53599 1.8203205614008386E-6 697
iterating-progress-unbounded 53676 1.8148477638363448E-6 698
iterating-progress-unbounded 53753 1.8093996275301567E-6 699
iterating-progress-unbounded 53830 1.8039760051701292E-6 700
iterating-progress-unbounded 53907 1.7985767492143886E-6 701
iterating-progress-unbounded 53984 1.7932017139656614E-6 702
iterating-progress-unbounded 54061 1.7878507545202766E-6 703
iterating-progress-unbounded 54138 1.7825237274990765E-6 704
iterating-progress-unbounded 54215 1.7772204904444925E-6 705
iterating-progress-unbounded 54292 1.7719409009289034E-6 706
iterating-progress-unbounded 54369 1.766684819639784E-6 707
iterating-progress-unbounded 54446 1.7614521060984478E-6 708
iterating-progress-unbounded 54523 1.7562426226241617E-6 709
iterating-progress-unbounded 54600 1.7510562312389042E-6 710
iterating-progress-unbounded 54677 1.745892796005793E-6 711
iterating-progress-unbounded 54751 1.7409520395036188E-6 712
iterating-progress-unbounded 54825 1.7360322406060369E-6 713
iterating-progress-unbounded 54902 1.7309351126939353E-6 714
iterating-progress-unbounded 54979 1.7258604153892133E-6 715
iterating-progress-unbounded 55056 1.7208080173273844E-6 716
iterating-progress-unbounded 55133 1.7157777878165912E-6 717
iterating-progress-unbounded 55210 1.710769597830639E-6 718
iterating-progress-unbounded 55287 1.7057833178927763E-6 719
iterating-progress-unbounded 55364 1.7008188206914541E-6 720
iterating-progress-unbounded 55441 1.6958759797482244E-6 721
iterating-progress-unbounded 55518 1.6909546686301212E-6 722
iterating-progress-unbounded 55595 1.6860547628252734E-6 723
iterating-progress-unbounded 55672 1.6811761384384053E-6 724
iterating-progress-unbounded 55749 1.6763186716131138E-6 725
iterating-progress-unbounded 55826 1.6714822406723637E-6 726
iterating-progress-unbounded 55903 1.6666667242476263E-6 727
iterating-progress-unbounded 55980 1.6618720014179215E-6 728
iterating-progress-unbounded 56057 1.657097952984758E-6 729
iterating-progress-unbounded 56134 1.6523444600389468E-6 730
iterating-progress-unbounded 56211 1.647611404524312E-6 731
iterating-progress-unbounded 56288 1.6428986697964042E-6 732
iterating-progress-unbounded 56365 1.6382061391980306E-6 733
iterating-progress-unbounded 56442 1.6335336974692845E-6 734
iterating-progress-unbounded 56519 1.6288812300318125E-6 735
iterating-progress-unbounded 56596 1.6242486232641815E-6 736
iterating-progress-unbounded 56673 1.619635763791543E-6 737
iterating-progress-unbounded 56750 1.6150425398854366E-6 738
iterating-progress-unbounded 56827 1.6104688400502347E-6 739
iterating-progress-unbounded 56904 1.605914553719789E-6 740
iterating-progress-unbounded 56980 1.6014383437306679E-6 741
iterating-progress-unbounded 57057 1.5969223072462245E-6 742
iterating-progress-unbounded 57134 1.5924253586347462E-6 743
iterating-progress-unbounded 57211 1.587947390269906E-6 744
iterating-progress-unbounded 57288 1.5834882956986562E-6 745
iterating-progress-unbounded 57365 1.5790479689387065E-6 746
iterating-progress-unbounded 57442 1.5746263043359E-6 747
iterating-progress-unbounded 57519 1.5702231980811757E-6 748
iterating-progress-unbounded 57596 1.5658385454363277E-6 749
iterating-progress-unbounded 57674 1.5614156593699037E-6 750
iterating-progress-unbounded 57751 1.5570678432356838E-6 751
iterating-progress-unbounded 57828 1.5527381730996262E-6 752
iterating-progress-unbounded 57905 1.5484265475138823E-6 753
iterating-progress-unbounded 57982 1.5441328671045773E-6 754
iterating-progress-unbounded 58059 1.539857031683099E-6 755
iterating-progress-unbounded 58136 1.5355989429834374E-6 756
iterating-progress-unbounded 58213 1.5313585024649303E-6 757
iterating-progress-unbounded 58290 1.5271356126756851E-6 758
iterating-progress-unbounded 58367 1.522930177243986E-6 759
iterating-progress-unbounded 58444 1.518742099647393E-6 760
iterating-progress-unbounded 58521 1.5145712845694038E-6 761
iterating-progress-unbounded 58598 1.5104176373483536E-6 762
iterating-progress-unbounded 58675 1.506281063431049E-6 763
iterating-progress-unbounded 58752 1.5021614698568167E-6 764
iterating-progress-unbounded 58829 1.4980587633574967E-6 765
iterating-progress-unbounded 58906 1.493972851705533E-6 766
iterating-progress-unbounded 58983 1.4899036435714649E-6 767
iterating-progress-unbounded 59060 1.4858510477111515E-6 768
iterating-progress-unbounded 59137 1.481814974305409E-6 769
iterating-progress-unbounded 59214 1.4777953328068388E-6 770
iterating-progress-unbounded 59290 1.4738439211343104E-6 771
iterating-progress-unbounded 59366 1.469908345766421E-6 772
iterating-progress-unbounded 59443 1.465937050133529E-6 773
iterating-progress-unbounded 59520 1.4619818361412846E-6 774
iterating-progress-unbounded 59597 1.4580426168943294E-6 775
iterating-progress-unbounded 59674 1.4541193063482988E-6 776
iterating-progress-unbounded 59751 1.4502118193031742E-6 777
iterating-progress-unbounded 59828 1.4463200699403183E-6 778
iterating-progress-unbounded 59905 1.4424439746028507E-6 779
iterating-progress-unbounded 59981 1.4386334858755817E-6 780
iterating-progress-unbounded 60058 1.4347882459752634E-6 781
iterating-progress-unbounded 60135 1.4309584105332666E-6 782
iterating-progress-unbounded 60212 1.427143897723122E-6 783
iterating-progress-unbounded 60289 1.4233446258703958E-6 784
iterating-progress-unbounded 60366 1.4195605134510232E-6 785
iterating-progress-unbounded 60443 1.4157914802682431E-6 786
iterating-progress-unbounded 60520 1.412037446135144E-6 787
iterating-progress-unbounded 60597 1.4082983316576166E-6 788
iterating-progress-unbounded 60674 1.404574057445814E-6 789
iterating-progress-unbounded 60751 1.400864545415889E-6 790
iterating-progress-unbounded 60828 1.3971697174799552E-6 791
iterating-progress-unbounded 60905 1.3934894961949288E-6 792
iterating-progress-unbounded 60982 1.3898238046278634E-6 793
iterating-progress-unbounded 61059 1.3861725663519415E-6 794
iterating-progress-unbounded 61136 1.3825357055718092E-6 795
iterating-progress-unbounded 61213 1.3789131463437324E-6 796
iterating-progress-unbounded 61290 1.3753048146399386E-6 797
iterating-progress-unbounded 61367 1.3717106353723325E-6 798
iterating-progress-unbounded 61444 1.368130534328773E-6 799
iterating-progress-unbounded 61521 1.3645644386804355E-6 800
iterating-progress-unbounded 61598 1.3610122751759244E-6 801
iterating-progress-unbounded 61672 1.3576115687016397E-6 802
iterating-progress-unbounded 61747 1.354177902641919E-6 803
iterating-progress-unbounded 61824 1.3506662139819058E-6 804
iterating-progress-unbounded 61901 1.347168174426224E-6 805
iterating-progress-unbounded 61978 1.343683714056627E-6 806
iterating-progress-unbounded 62055 1.3402127620080348E-6 807
iterating-progress-unbounded 62132 1.3367552487621187E-6 808
iterating-progress-unbounded 62209 1.3333111053762312E-6 809
iterating-progress-unbounded 62286 1.3298802622115858E-6 810
iterating-progress-unbounded 62363 1.3264626513424928E-6 811
iterating-progress-unbounded 62440 1.3230582047747036E-6 812
iterating-progress-unbounded 62517 1.319666854697871E-6 813
iterating-progress-unbounded 62594 1.3162885339881878E-6 814
iterating-progress-unbounded 62671 1.3129231762033971E-6 815
iterating-progress-unbounded 62748 1.309570714823325E-6 816
iterating-progress-unbounded 62825 1.3062310842545935E-6 817
iterating-progress-unbounded 62903 1.3028610965836237E-6 818
iterating-progress-unbounded 62980 1.2995470960396197E-6 819
iterating-progress-unbounded 63057 1.2962457304414567E-6 820
iterating-progress-unbounded 63134 1.2929569353595734E-6 821
iterating-progress-unbounded 63211 1.2896806472718928E-6 822
iterating-progress-unbounded 63288 1.286416802560806E-6 823
iterating-progress-unbounded 63365 1.2831653386331225E-6 824
iterating-progress-unbounded 63442 1.2799261920491139E-6 825
iterating-progress-unbounded 63519 1.276699301629979E-6 826
iterating-progress-unbounded 63596 1.273484605096509E-6 827
iterating-progress-unbounded 63673 1.27028204155126E-6 828
iterating-progress-unbounded 63750 1.2670915492442155E-6 829
iterating-progress-unbounded 63827 1.2639130680468446E-6 830
iterating-progress-unbounded 63903 1.2607875849008794E-6 831
iterating-progress-unbounded 63977 1.2577554835372523E-6 832
iterating-progress-unbounded 64051 1.2547343123123942E-6 833
iterating-progress-unbounded 64124 1.251764626463293E-6 834
iterating-progress-unbounded 64200 1.2486840915142934E-6 835
iterating-progress-unbounded 64277 1.2455746116718757E-6 836
iterating-progress-unbounded 64354 1.2424767378344538E-6 837
iterating-progress-unbounded 64431 1.2393904126528014E-6 838
iterating-progress-unbounded 64508 1.2363155784020703E-6 839
iterating-progress-unbounded 64585 1.2332521780807922E-6 840
iterating-progress-unbounded 64662 1.2302001556492807E-6 841
iterating-progress-unbounded 64739 1.2271594535917796E-6 842
iterating-progress-unbounded 64816 1.2241300170535577E-6 843
iterating-progress-unbounded 64893 1.221111790064575E-6 844
iterating-progress-unbounded 64970 1.218104717604997E-6 845
iterating-progress-unbounded 65047 1.2151087440264596E-6 846
iterating-progress-unbounded 65124 1.2121238157043438E-6 847
iterating-progress-unbounded 65201 1.2091498776907956E-6 848
iterating-progress-unbounded 65278 1.2061868761648434E-6 849
iterating-progress-unbounded 65355 1.2032347579112664E-6 850
iterating-progress-unbounded 65432 1.2002934691908756E-6 851
iterating-progress-unbounded 65508 1.1974009470598775E-6 852
iterating-progress-unbounded 65585 1.1944810205947945E-6 853
iterating-progress-unbounded 65662 1.1915717665121212E-6 854
iterating-progress-unbounded 65739 1.188673133676011E-6 855
iterating-progress-unbounded 65816 1.1857850693517479E-6 856
iterating-progress-unbounded 65893 1.1829075230322444E-6 857
iterating-progress-unbounded 65970 1.1800404429691612E-6 858
iterating-progress-unbounded 66047 1.1771837787978006E-6 859
iterating-progress-unbounded 66124 1.1743374803398715E-6 860
iterating-progress-unbounded 66201 1.1715014971273298E-6 861
iterating-progress-unbounded 66278 1.1686757794706207E-6 862
iterating-progress-unbounded 66355 1.1658602778616188E-6 863
iterating-progress-unbounded 66432 1.1630549433268934E-6 864
iterating-progress-unbounded 66509 1.1602597263613395E-6 865
iterating-progress-unbounded 66585 1.1575106851170608E-6 866
iterating-progress-unbounded 66660 1.1548073870460745E-6 867
iterating-progress-unbounded 66737 1.152041845638918E-6 868
iterating-progress-unbounded 66814 1.1492862313917145E-6 869
iterating-progress-unbounded 66891 1.1465404968278403E-6 870
iterating-progress-unbounded 66968 1.1438045945198592E-6 871
iterating-progress-unbounded 67045 1.1410784775571975E-6 872
iterating-progress-unbounded 67122 1.138362099542704E-6 873
iterating-progress-unbounded 67199 1.1356554138884994E-6 874
iterating-progress-unbounded 67276 1.1329583748666358E-6 875
iterating-progress-unbounded 67353 1.1302709364385958E-6 876
iterating-progress-unbounded 67430 1.127593052838681E-6 877
iterating-progress-unbounded 67507 1.1249246791531015E-6 878
iterating-progress-unbounded 67584 1.1222657702699125E-6 879
iterating-progress-unbounded 67661 1.119616281459608E-6 880
iterating-progress-unbounded 67738 1.1169761682566989E-6 881
iterating-progress-unbounded 67815 1.1143453864578693E-6 882
iterating-progress-unbounded 67893 1.111689907637431E-6 883
iterating-progress-unbounded 67970 1.1090777769544316E-6 884
iterating-progress-unbounded 68047 1.1064748459423068E-6 885
iterating-progress-unbounded 68124 1.103881071316682E-6 886
iterating-progress-unbounded 68201 1.1012964108513065E-6 887
iterating-progress-unbounded 68278 1.0987208209606903E-6 888
iterating-progress-unbounded 68355 1.0961542600331455E-6 889
iterating-progress-unbounded 68432 1.093596685326614E-6 890
iterating-progress-unbounded 68508 1.0910810972047151E-6 891
iterating-progress-unbounded 68585 1.0885412548642554E-6 892
iterating-progress-unbounded 68662 1.0860102741323083E-6 893
iterating-progress-unbounded 68738 1.0835208132316592E-6 894
iterating-progress-unbounded 68815 1.0810073192874884E-6 895
iterating-progress-unbounded 68892 1.0785025651729055E-6 896
iterating-progress-unbounded 68969 1.0760065100584356E-6 897
iterating-progress-unbounded 69046 1.0735191138042529E-6 898
iterating-progress-unbounded 69123 1.071040336389338E-6 899
iterating-progress-unbounded 69200 1.068570138023734E-6 900
iterating-progress-unbounded 69277 1.0661084790339184E-6 901
iterating-progress-unbounded 69354 1.0636553205391663E-6 902
iterating-progress-unbounded 69431 1.061210622642698E-6 903
iterating-progress-unbounded 69508 1.058774347252776E-6 904
iterating-progress-unbounded 69585 1.0563464553723303E-6 905
iterating-progress-unbounded 69662 1.0539269083398533E-6 906
iterating-progress-unbounded 69739 1.0515156681639133E-6 907
iterating-progress-unbounded 69816 1.0491126970705829E-6 908
iterating-progress-unbounded 69893 1.0467179569422733E-6 909
iterating-progress-unbounded 69970 1.0443314104376777E-6 910
iterating-progress-unbounded 70047 1.0419530197584675E-6 911
iterating-progress-unbounded 70124 1.039582748436642E-6 912
iterating-progress-unbounded 70201 1.0372205590980514E-6 913
iterating-progress-unbounded 70278 1.0348664152481915E-6 914
iterating-progress-unbounded 70355 1.0325202799329003E-6 915
iterating-progress-unbounded 70432 1.0301821175173526E-6 916
iterating-progress-unbounded 70509 1.0278518914601185E-6 917
iterating-progress-unbounded 70586 1.0255295659798682E-6 918
iterating-progress-unbounded 70663 1.0232151056081238E-6 919
iterating-progress-unbounded 70740 1.0209084744137035E-6 920
iterating-progress-unbounded 70816 1.0186394423314427E-6 921
iterating-progress-unbounded 70890 1.0164373855834538E-6 922
iterating-progress-unbounded 70966 1.0141832408093389E-6 923
iterating-progress-unbounded 71043 1.0119070784832052E-6 924
iterating-progress-unbounded 71120 1.0096385728814862E-6 925
iterating-progress-unbounded 71197 1.0073776899043904E-6 926
iterating-progress-unbounded 71274 1.0051243960817445E-6 927
iterating-progress-unbounded 71351 1.0028786565982397E-6 928
iterating-progress-unbounded 71428 1.0006404383633803E-6 929
iterating-progress-unbounded 71505 9.98409707598014E-7 930
iterating-progress-unbounded 71582 9.961864309292561E-7 931
iterating-progress-unbounded 71659 9.939705751700493E-7 932
iterating-progress-unbounded 71736 9.917621073178858E-7 933
iterating-progress-unbounded 71813 9.89560994539158E-7 934
iterating-progress-unbounded 71890 9.873672042400907E-7 935
iterating-progress-unbounded 71966 9.852090534436132E-7 936
iterating-progress-unbounded 72043 9.830297170096645E-7 937
iterating-progress-unbounded 72120 9.808576061781395E-7 938
iterating-progress-unbounded 72197 9.786926896762937E-7 939
iterating-progress-unbounded 72274 9.765349355406138E-7 940
iterating-progress-unbounded 72351 9.743843121992867E-7 941
iterating-progress-unbounded 72428 9.722407884698669E-7 942
iterating-progress-unbounded 72505 9.701043322652927E-7 943
iterating-progress-unbounded 72582 9.679749136091224E-7 944
iterating-progress-unbounded 72659 9.658525014018298E-7 945
iterating-progress-unbounded 72736 9.637370647141254E-7 946
iterating-progress-unbounded 72813 9.616285725716322E-7 947
iterating-progress-unbounded 72890 9.595269950251472E-7 948
iterating-progress-unbounded 72967 9.574323022895176E-7 949
iterating-progress-unbounded 73044 9.553444638883165E-7 950
iterating-progress-unbounded 73121 9.532634492975412E-7 951
iterating-progress-unbounded 73194 9.512968151035503E-7 952
iterating-progress-unbounded 73268 9.493094474216094E-7 953
iterating-progress-unbounded 73344 9.472748452472027E-7 954
iterating-progress-unbounded 73420 9.452467794918342E-7 955
iterating-progress-unbounded 73497 9.431986662074652E-7 956
iterating-progress-unbounded 73574 9.41157204398743E-7 957
iterating-progress-unbounded 73651 9.391223657053512E-7 958
iterating-progress-unbounded 73728 9.370941219206995E-7 959
iterating-progress-unbounded 73805 9.350724441460329E-7 960
iterating-progress-unbounded 73882 9.330573036380846E-7 961
iterating-progress-unbounded 73959 9.31048672861743E-7 962
iterating-progress-unbounded 74036 9.290465237991792E-7 963
iterating-progress-unbounded 74113 9.270508279523577E-7 964
iterating-progress-unbounded 74190 9.250615580259263E-7 965
iterating-progress-unbounded 74267 9.230786870811271E-7 966
iterating-progress-unbounded 74344 9.211021866475868E-7 967
iterating-progress-unbounded 74421 9.191320294530553E-7 968
iterating-progress-unbounded 74498 9.171681896257888E-7 969
iterating-progress-unbounded 74575 9.152106389268472E-7 970
iterating-progress-unbounded 74652 9.132593503100652E-7 971
iterating-progress-unbounded 74729 9.113142987490127E-7 972
iterating-progress-unbounded 74806 9.093754564373985E-7 973
iterating-progress-unbounded 74883 9.074427965475295E-7 974
iterating-progress-unbounded 74960 9.055162940557145E-7 975
iterating-progress-unbounded 75037 9.035959219972052E-7 976
iterating-progress-unbounded 75114 9.01681654793087E-7 977
iterating-progress-unbounded 75191 8.997734657580158E-7 978
iterating-progress-unbounded 75268 8.978713304153158E-7 979
iterating-progress-unbounded 75345 8.959752225594209E-7 980
iterating-progress-unbounded 75422 8.94085116122538E-7 981
iterating-progress-unbounded 75496 8.922742828731652E-7 982
iterating-progress-unbounded 75573 8.903958739141143E-7 983
iterating-progress-unbounded 75650 8.885233922168474E-7 984
iterating-progress-unbounded 75727 8.866568132710144E-7 985
iterating-progress-unbounded 75804 8.847961114637806E-7 986
iterating-progress-unbounded 75881 8.829412633663789E-7 987
iterating-progress-unbounded 75958 8.810922436257259E-7 988
iterating-progress-unbounded 76035 8.792490278391293E-7 989
iterating-progress-unbounded 76112 8.774115921402771E-7 990
iterating-progress-unbounded 76188 8.756036638478647E-7 991
iterating-progress-unbounded 76265 8.737776411054265E-7 992
iterating-progress-unbounded 76342 8.719573266902385E-7 993
iterating-progress-unbounded 76419 8.701426968268501E-7 994
iterating-progress-unbounded 76496 8.683337270503949E-7 995
iterating-progress-unbounded 76573 8.665303950530644E-7 996
iterating-progress-unbounded 76650 8.647326766154947E-7 997
iterating-progress-unbounded 76727 8.629405486563582E-7 998
iterating-progress-unbounded 76804 8.611539880116821E-7 999
iterating-progress-unbounded 76881 8.593729716373881E-7 1000
iterating-progress-unbounded 76958 8.575974766085362E-7 1001
iterating-progress-unbounded 77035 8.558274799168299E-7 1002
iterating-progress-unbounded 77112 8.540629594787261E-7 1003
iterating-progress-unbounded 77189 8.523038921170045E-7 1004
iterating-progress-unbounded 77266 8.505502555777548E-7 1005
iterating-progress-unbounded 77343 8.488020273198821E-7 1006
iterating-progress-unbounded 77420 8.470591859214452E-7 1007
iterating-progress-unbounded 77497 8.453217080663055E-7 1008
iterating-progress-unbounded 77574 8.435895723592781E-7 1009
iterating-progress-unbounded 77651 8.41862757315274E-7 1010
iterating-progress-unbounded 77727 8.401635638539457E-7 1011
iterating-progress-unbounded 77804 8.384472557341924E-7 1012
iterating-progress-unbounded 77881 8.367362029697653E-7 1013
iterating-progress-unbounded 77958 8.350303841185166E-7 1014
iterating-progress-unbounded 78035 8.333297784446258E-7 1015
iterating-progress-unbounded 78112 8.316343641255408E-7 1016
iterating-progress-unbounded 78189 8.299441202435443E-7 1017
iterating-progress-unbounded 78266 8.282590255906319E-7 1018
iterating-progress-unbounded 78343 8.265790600571456E-7 1019
iterating-progress-unbounded 78419 8.249259206112126E-7 1020
iterating-progress-unbounded 78496 8.23256083313228E-7 1021
iterating-progress-unbounded 78573 8.215913127312195E-7 1022
iterating-progress-unbounded 78650 8.199315885783077E-7 1023
iterating-progress-unbounded 78727 8.18276890670253E-7 1024
iterating-progress-unbounded 78804 8.166271977431353E-7 1025
iterating-progress-unbounded 78881 8.149824902132681E-7 1026
iterating-progress-unbounded 78958 8.133427483995581E-7 1027
iterating-progress-unbounded 79035 8.117079519349032E-7 1028
iterating-progress-unbounded 79112 8.100780805541944E-7 1029
iterating-progress-unbounded 79189 8.084531150733567E-7 1030
iterating-progress-unbounded 79266 8.068330356221204E-7 1031
iterating-progress-unbounded 79343 8.052178228206258E-7 1032
iterating-progress-unbounded 79420 8.036074564095711E-7 1033
iterating-progress-unbounded 79497 8.020019181814731E-7 1034
iterating-progress-unbounded 79574 8.004011880715866E-7 1035
iterating-progress-unbounded 79651 7.988052470882354E-7 1036
iterating-progress-unbounded 79728 7.972140761400234E-7 1037
iterating-progress-unbounded 79805 7.956276562306344E-7 1038
iterating-progress-unbounded 79882 7.94045968652385E-7 1039
iterating-progress-unbounded 79959 7.924689938211011E-7 1040
iterating-progress-unbounded 80036 7.908967141864244E-7 1041
iterating-progress-unbounded 80113 7.893291105442984E-7 1042
iterating-progress-unbounded 80190 7.877661639786581E-7 1043
iterating-progress-unbounded 80267 7.862078566323922E-7 1044
iterating-progress-unbounded 80344 7.846541701583874E-7 1045
iterating-progress-unbounded 80421 7.831050859146921E-7 1046
iterating-progress-unbounded 80498 7.815605855435782E-7 1047
iterating-progress-unbounded 80575 7.800206519317242E-7 1048
iterating-progress-unbounded 80652 7.784852665137398E-7 1049
iterating-progress-unbounded 80729 7.769544111989852E-7 1050
iterating-progress-unbounded 80806 7.754280677938364E-7 1051
iterating-progress-unbounded 80883 7.73906220109371E-7 1052
iterating-progress-unbounded 80960 7.72388849358168E-7 1053
iterating-progress-unbounded 81037 7.708759379909684E-7 1054
iterating-progress-unbounded 81114 7.693674681624956E-7 1055
iterating-progress-unbounded 81191 7.678634240223949E-7 1056
iterating-progress-unbounded 81268 7.663637871306066E-7 1057
iterating-progress-unbounded 81345 7.648685398977901E-7 1058
iterating-progress-unbounded 81421 7.633970005731892E-7 1059
iterating-progress-unbounded 81498 7.6191042585683E-7 1060
iterating-progress-unbounded 81575 7.604281914154754E-7 1061
iterating-progress-unbounded 81652 7.589502790413424E-7 1062
iterating-progress-unbounded 81729 7.574766723191307E-7 1063
iterating-progress-unbounded 81806 7.56007354156454E-7 1064
iterating-progress-unbounded 81883 7.545423090561534E-7 1065
iterating-progress-unbounded 81960 7.530815193303717E-7 1066
iterating-progress-unbounded 82037 7.516249688855353E-7 1067
iterating-progress-unbounded 82115 7.501538076377242E-7 1068
iterating-progress-unbounded 82191 7.487245205363295E-7 1069
iterating-progress-unbounded 82269 7.472618646652853E-7 1070
iterating-progress-unbounded 82345 7.458408332511638E-7 1071
iterating-progress-unbounded 82422 7.444052349007147E-7 1072
iterating-progress-unbounded 82499 7.429737788425419E-7 1073
iterating-progress-unbounded 82576 7.41546448589664E-7 1074
iterating-progress-unbounded 82653 7.401232286698996E-7 1075
iterating-progress-unbounded 82730 7.387041038726341E-7 1076
iterating-progress-unbounded 82807 7.372890573790135E-7 1077
iterating-progress-unbounded 82884 7.35878074316415E-7 1078
iterating-progress-unbounded 82961 7.344711387650999E-7 1079
iterating-progress-unbounded 83038 7.330682359989024E-7 1080
iterating-progress-unbounded 83115 7.316693493153392E-7 1081
iterating-progress-unbounded 83192 7.302744645075956E-7 1082
iterating-progress-unbounded 83269 7.288835661372835E-7 1083
iterating-progress-unbounded 83346 7.274966390249083E-7 1084
iterating-progress-unbounded 83423 7.261136671362853E-7 1085
iterating-progress-unbounded 83500 7.247346365498471E-7 1086
iterating-progress-unbounded 83577 7.233595317458781E-7 1087
iterating-progress-unbounded 83654 7.219883383868381E-7 1088
iterating-progress-unbounded 83731 7.206210409109818E-7 1089
iterating-progress-unbounded 83808 7.192576253054468E-7 1090
iterating-progress-unbounded 83885 7.178980763341754E-7 1091
iterating-progress-unbounded 83962 7.165423795691015E-7 1092
iterating-progress-unbounded 84039 7.151905202825548E-7 1093
iterating-progress-unbounded 84116 7.138424847349902E-7 1094
iterating-progress-unbounded 84193 7.124982575999241E-7 1095
iterating-progress-unbounded 84270 7.111578245393046E-7 1096
iterating-progress-unbounded 84347 7.098211720154309E-7 1097
iterating-progress-unbounded 84424 7.08488285639558E-7 1098
iterating-progress-unbounded 84501 7.071591509074374E-7 1099
iterating-progress-unbounded 84578 7.058337539306495E-7 1100
iterating-progress-unbounded 84654 7.045292214839123E-7 1101
iterating-progress-unbounded 84731 7.032112099758885E-7 1102
iterating-progress-unbounded 84808 7.018968947642685E-7 1103
iterating-progress-unbounded 84885 7.005862616735341E-7 1104
iterating-progress-unbounded 84962 6.992792969576805E-7 1105
iterating-progress-unbounded 85039 6.979759871164613E-7 1106
iterating-progress-unbounded 85116 6.966763190756195E-7 1107
iterating-progress-unbounded 85193 6.953802783717966E-7 1108
iterating-progress-unbounded 85270 6.94087851513772E-7 1109
iterating-progress-unbounded 85347 6.927990259778145E-7 1110
iterating-progress-unbounded 85424 6.915137876719879E-7 1111
iterating-progress-unbounded 85500 6.902487457916292E-7 1112
iterating-progress-unbounded 85577 6.88970596113295E-7 1113
iterating-progress-unbounded 85654 6.876959944665109E-7 1114
iterating-progress-unbounded 85731 6.864249275485379E-7 1115
iterating-progress-unbounded 85807 6.851738212288535E-7 1116
iterating-progress-unbounded 85884 6.839097393402144E-7 1117
iterating-progress-unbounded 85961 6.826491533437683E-7 1118
iterating-progress-unbounded 86038 6.813920498188795E-7 1119
iterating-progress-unbounded 86115 6.801384168402254E-7 1120
iterating-progress-unbounded 86192 6.78888241463579E-7 1121
iterating-progress-unbounded 86269 6.776415108040614E-7 1122
iterating-progress-unbounded 86346 6.763982116782925E-7 1123
iterating-progress-unbounded 86423 6.751583323915274E-7 1124
iterating-progress-unbounded 86500 6.739218602328779E-7 1125
iterating-progress-unbounded 86577 6.726887823712873E-7 1126
iterating-progress-unbounded 86654 6.714590863902165E-7 1127
iterating-progress-unbounded 86731 6.702327606414854E-7 1128
iterating-progress-unbounded 86808 6.690097917533099E-7 1129
iterating-progress-unbounded 86885 6.677901681897249E-7 1130
iterating-progress-unbounded 86961 6.665896522529146E-7 1131
iterating-progress-unbounded 87038 6.653766392352059E-7 1132
iterating-progress-unbounded 87115 6.641669354656347E-7 1133
iterating-progress-unbounded 87192 6.629605283854519E-7 1134
iterating-progress-unbounded 87269 6.617574063762267E-7 1135
iterating-progress-unbounded 87346 6.605575569896291E-7 1136
iterating-progress-unbounded 87423 6.593609690682024E-7 1137
iterating-progress-unbounded 87500 6.581676300956033E-7 1138
iterating-progress-unbounded 87577 6.569775288441323E-7 1139
iterating-progress-unbounded 87654 6.557906532576662E-7 1140
iterating-progress-unbounded 87731 6.54606992213014E-7 1141
iterating-progress-unbounded 87808 6.534265337596352E-7 1142
iterating-progress-unbounded 87885 6.522492658251488E-7 1143
iterating-progress-unbounded 87962 6.510751779685284E-7 1144
iterating-progress-unbounded 88039 6.499042582206278E-7 1145
iterating-progress-unbounded 88116 6.48736494665667E-7 1146
iterating-progress-unbounded 88193 6.475718766644597E-7 1147
iterating-progress-unbounded 88270 6.464103932768893E-7 1148
iterating-progress-unbounded 88347 6.452520323909117E-7 1149
iterating-progress-unbounded 88424 6.44096783168171E-7 1150
iterating-progress-unbounded 88501 6.429446342966556E-7 1151
iterating-progress-unbounded 88578 6.417955752107326E-7 1152
iterating-progress-unbounded 88655 6.406495945232652E-7 1153
iterating-progress-unbounded 88732 6.395066808976847E-7 1154
iterating-progress-unbounded 88809 6.383668237416884E-7 1155
iterating-progress-unbounded 88886 6.372300125104581E-7 1156
iterating-progress-unbounded 88963 6.360962360136415E-7 1157
iterating-progress-unbounded 89039 6.349801488754884E-7 1158
iterating-progress-unbounded 89116 6.338523701019436E-7 1159
iterating-progress-unbounded 89194 6.327130065304144E-7 1160
iterating-progress-unbounded 89270 6.316058103190321E-7 1161
iterating-progress-unbounded 89347 6.304870077065679E-7 1162
iterating-progress-unbounded 89424 6.29371175911252E-7 1163
iterating-progress-unbounded 89500 6.282727385416017E-7 1164
iterating-progress-unbounded 89577 6.271627783060431E-7 1165
iterating-progress-unbounded 89654 6.260557583152797E-7 1166
iterating-progress-unbounded 89731 6.249516671643566E-7 1167
iterating-progress-unbounded 89808 6.238504943551138E-7 1168
iterating-progress-unbounded 89885 6.227522309772744E-7 1169
iterating-progress-unbounded 89962 6.21656865422384E-7 1170
iterating-progress-unbounded 90039 6.205643885259444E-7 1171
iterating-progress-unbounded 90116 6.19474788772678E-7 1172
iterating-progress-unbounded 90193 6.183880577692339E-7 1173
iterating-progress-unbounded 90270 6.173041840907129E-7 1174
iterating-progress-unbounded 90347 6.162231587465889E-7 1175
iterating-progress-unbounded 90423 6.151589552072291E-7 1176
iterating-progress-unbounded 90500 6.140835581272612E-7 1177
iterating-progress-unbounded 90577 6.130109800683178E-7 1178
iterating-progress-unbounded 90654 6.119412099988737E-7 1179
iterating-progress-unbounded 90731 6.108742386308383E-7 1180
iterating-progress-unbounded 90808 6.098100555306901E-7 1181
iterating-progress-unbounded 90885 6.087486521723446E-7 1182
iterating-progress-unbounded 90962 6.0769001769935E-7 1183
iterating-progress-unbounded 91039 6.066341429917314E-7 1184
iterating-progress-unbounded 91116 6.055810186317614E-7 1185
iterating-progress-unbounded 91193 6.045306352427242E-7 1186
iterating-progress-unbounded 91270 6.034829826458539E-7 1187
iterating-progress-unbounded 91347 6.024380515480282E-7 1188
iterating-progress-unbounded 91424 6.013958326964847E-7 1189
iterating-progress-unbounded 91501 6.003563172148449E-7 1190
iterating-progress-unbounded 91577 5.99332942922544E-7 1191
iterating-progress-unbounded 91651 5.983390120260762E-7 1192
iterating-progress-unbounded 91726 5.973341716134117E-7 1193
iterating-progress-unbounded 91802 5.963185133458887E-7 1194
iterating-progress-unbounded 91879 5.952921315940432E-7 1195
iterating-progress-unbounded 91956 5.942683975941919E-7 1196
iterating-progress-unbounded 92033 5.932473034123533E-7 1197
iterating-progress-unbounded 92110 5.922288388122883E-7 1198
iterating-progress-unbounded 92187 5.912129954355843E-7 1199
iterating-progress-unbounded 92264 5.901997639602473E-7 1200
iterating-progress-unbounded 92341 5.891891361030066E-7 1201
iterating-progress-unbounded 92418 5.881811019529634E-7 1202
iterating-progress-unbounded 92495 5.871756533029597E-7 1203
iterating-progress-unbounded 92572 5.861727809850243E-7 1204
iterating-progress-unbounded 92649 5.851724766996725E-7 1205
iterating-progress-unbounded 92726 5.841747311885514E-7 1206
iterating-progress-unbounded 92803 5.831795358949053E-7 1207
iterating-progress-unbounded 92880 5.821868819675652E-7 1208
iterating-progress-unbounded 92957 5.811967614196168E-7 1209
iterating-progress-unbounded 93034 5.80209164481416E-7 1210
iterating-progress-unbounded 93111 5.792240837346957E-7 1211
iterating-progress-unbounded 93188 5.782415099795364E-7 1212
iterating-progress-unbounded 93265 5.772614350431203E-7 1213
iterating-progress-unbounded 93342 5.762838496351494E-7 1214
iterating-progress-unbounded 93419 5.753087468067519E-7 1215
iterating-progress-unbounded 93496 5.743361170101621E-7 1216
iterating-progress-unbounded 93573 5.733659518864608E-7 1217
iterating-progress-unbounded 93650 5.723982440963328E-7 1218
iterating-progress-unbounded 93727 5.714329846930707E-7 1219
iterating-progress-unbounded 93804 5.70470164603403E-7 1220
iterating-progress-unbounded 93881 5.69509777082454E-7 1221
iterating-progress-unbounded 93958 5.685518129625336E-7 1222
iterating-progress-unbounded 94035 5.675962647472172E-7 1223
iterating-progress-unbounded 94112 5.666431238296337E-7 1224
iterating-progress-unbounded 94189 5.656923822909211E-7 1225
iterating-progress-unbounded 94266 5.647440320826352E-7 1226
iterating-progress-unbounded 94343 5.637980651900569E-7 1227
iterating-progress-unbounded 94420 5.628544739573044E-7 1228
iterating-progress-unbounded 94496 5.619254581744146E-7 1229
iterating-progress-unbounded 94573 5.609865625585534E-7 1230
iterating-progress-unbounded 94650 5.600500191227851E-7 1231
iterating-progress-unbounded 94727 5.591158193684604E-7 1232
iterating-progress-unbounded 94804 5.581839559655374E-7 1233
iterating-progress-unbounded 94882 5.572423637115381E-7 1234
iterating-progress-unbounded 94958 5.563272048445241E-7 1235
iterating-progress-unbounded 95036 5.55390306250914E-7 1236
iterating-progress-unbounded 95113 5.544677391670632E-7 1237
iterating-progress-unbounded 95190 5.535474695761256E-7 1238
iterating-progress-unbounded 95267 5.526294888879978E-7 1239
iterating-progress-unbounded 95344 5.517137911232508E-7 1240
iterating-progress-unbounded 95420 5.508122156911711E-7 1241
iterating-progress-unbounded 95497 5.499010293150368E-7 1242
iterating-progress-unbounded 95574 5.48992103692546E-7 1243
iterating-progress-unbounded 95651 5.48085429268176E-7 1244
iterating-progress-unbounded 95728 5.471809998907261E-7 1245
iterating-progress-unbounded 95805 5.462788076734522E-7 1246
iterating-progress-unbounded 95882 5.453788457219653E-7 1247
iterating-progress-unbounded 95959 5.444811062112105E-7 1248
iterating-progress-unbounded 96036 5.435855818272872E-7 1249
iterating-progress-unbounded 96112 5.42703852994342E-7 1250
iterating-progress-unbounded 96188 5.418242683693512E-7 1251
iterating-progress-unbounded 96262 5.409698840930466E-7 1252
iterating-progress-unbounded 96337 5.401060148931532E-7 1253
iterating-progress-unbounded 96414 5.392212606241103E-7 1254
iterating-progress-unbounded 96491 5.383386791885849E-7 1255
iterating-progress-unbounded 96568 5.374582630001061E-7 1256
iterating-progress-unbounded 96645 5.365800054550933E-7 1257
iterating-progress-unbounded 96722 5.357038993430006E-7 1258
iterating-progress-unbounded 96799 5.348299376410354E-7 1259
iterating-progress-unbounded 96875 5.339694219205794E-7 1260
iterating-progress-unbounded 96952 5.330997004613638E-7 1261
iterating-progress-unbounded 97029 5.322321026050673E-7 1262
iterating-progress-unbounded 97106 5.313666217580755E-7 1263
iterating-progress-unbounded 97183 5.305032500915422E-7 1264
iterating-progress-unbounded 97260 5.296419816995371E-7 1265
iterating-progress-unbounded 97337 5.287828097556624E-7 1266
iterating-progress-unbounded 97414 5.27925726674267E-7 1267
iterating-progress-unbounded 97491 5.270707264724253E-7 1268
iterating-progress-unbounded 97568 5.262178016207411E-7 1269
iterating-progress-unbounded 97645 5.253669463466629E-7 1270
iterating-progress-unbounded 97722 5.245181533329931E-7 1271
iterating-progress-unbounded 97799 5.236714162320381E-7 1272
iterating-progress-unbounded 97876 5.228267277823065E-7 1273
iterating-progress-unbounded 97953 5.219840823159059E-7 1274
iterating-progress-unbounded 98030 5.211434726249775E-7 1275
iterating-progress-unbounded 98107 5.203048924675438E-7 1276
iterating-progress-unbounded 98184 5.194683348464828E-7 1277
iterating-progress-unbounded 98261 5.186337938842123E-7 1278
iterating-progress-unbounded 98338 5.178012623246941E-7 1279
iterating-progress-unbounded 98415 5.169707346531931E-7 1280
iterating-progress-unbounded 98492 5.161422038219903E-7 1281
iterating-progress-unbounded 98569 5.153156637438463E-7 1282
iterating-progress-unbounded 98646 5.144911074241813E-7 1283
iterating-progress-unbounded 98723 5.1366852929269E-7 1284
iterating-progress-unbounded 98800 5.128479230265594E-7 1285
iterating-progress-unbounded 98877 5.120292817084407E-7 1286
iterating-progress-unbounded 98954 5.112125992222309E-7 1287
iterating-progress-unbounded 99031 5.103978697856815E-7 1288
iterating-progress-unbounded 99108 5.095850867125534E-7 1289
iterating-progress-unbounded 99185 5.087742436517528E-7 1290
iterating-progress-unbounded 99262 5.079653352031958E-7 1291
iterating-progress-unbounded 99339 5.071583544469669E-7 1292
iterating-progress-unbounded 99416 5.063532957225551E-7 1293
iterating-progress-unbounded 99493 5.05550152930427E-7 1294
iterating-progress-unbounded 99570 5.047489196876168E-7 1295
iterating-progress-unbounded 99647 5.039495900972877E-7 1296
iterating-progress-unbounded 99724 5.031521581324768E-7 1297
iterating-progress-unbounded 99801 5.023566176366369E-7 1298
iterating-progress-unbounded 99878 5.015629632439972E-7 1299
iterating-progress-unbounded 99955 5.007711879253447E-7 1300
iterating-done 100032 1301
model-checking-done 1318
command-check-result-is 0.9979378910938976 premium_steady